quasi semi order

拟半有序